Ada programming language - PDFSEARCH.IO - Document Search Engine

Ada programming language
Results: 260

#	Item
101	Educational Object Oriented Programming Language Design: (A Survey On Blue Language) Hojjat Sheikhattar [removed] Some design principles (some of them are barrowed from Blue language Add to Reading List Source URL: jellyj.sourceforge.net Language: English - Date: 2002-04-11 07:00:32 Data types Object-oriented programming Object Class Type system Literal Pointer Programming language Ada Software engineering Computing Computer programming
102	What is Real Time systems FRESCOR and flexible scheduling Add to Reading List Source URL: marte.unican.es Language: English - Date: 2009-03-04 14:24:22 Embedded operating systems Ada programming language Scheduling algorithms Real-time operating systems Modeling and Analysis of Real Time and Embedded systems Operating system Scheduling POSIX Ada Computing Software engineering Computer programming
103	HILT 2014: HIGH INTEGRITY LANGUAGE TECHNOLOGY ACM SIGAda’s Annual International Conference Co-Located with OOPSLA/SPLASH 2014 October 18 – 21, [removed]Portland, Oregon / Final Program High integrity software must not Add to Reading List Source URL: sigada.org Language: English - Date: 2014-10-08 09:12:42 Ada programming language Ada SPARK Architecture Analysis & Design Language A Sharp PM OOPSLA Computing Software engineering Computer programming
104	Extract from Australian Farm Journal Edition[removed]July[removed]Liquid carbon pathway Christine Jones, PhD Founder, Amazing Carbon www.amazingcarbon.com Add to Reading List Source URL: www.amazingcarbon.com Language: English - Date: 2015-02-05 05:43:03 European Space Agency Ada programming language SPARK EADS Automated Transfer Vehicle Subroutine Electrical engineering EADS Astrium Space Transportation Computer programming Software engineering Computing
105	L7.2.2 Deliverable - Final report on experimentations on industrial case studies Release 1.0 Hi-Lite partners Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2013-06-02 10:46:55 European Space Agency Ada programming language SPARK EADS Automated Transfer Vehicle Subroutine Electrical engineering EADS Astrium Space Transportation Computer programming Software engineering Computing
106	Formalization of SPARK Subset in Coq Zhi Zhang Conservatoire National des Arts et Metiers Pierre Courtieu Maria Virginia Aponte Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2013-12-06 05:12:06 Procedural programming languages Ada programming language SPARK Tcl Coq ALGOL 68 Formal languages Comparison of Pascal and C Tiny programming language Software engineering Computing Programming language theory
107	Quentin Ochem Ada for the C++ or Java Developer Release 1.0 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-11-27 12:59:35 Cross-platform software Procedural programming languages Ada Generic programming Type theory C++ Java Conditional Programming language Computing Software engineering Computer programming
108	REPORT CONCERNING SPACE DATA SYSTEM STANDARDS THE DATA DESCRIPTION LANGUAGE EAST— A TUTORIAL Add to Reading List Source URL: public.ccsds.org Language: English - Date: 2005-04-11 10:31:39 Procedural programming languages Data types Committees Consultative Committee for Space Data Systems CCSDS ALGOL 68 Enumerated type Ada C++ classes Computing Software engineering Programming language theory
109	Rail, Space, Security: Three Case Studies for SPARK 2014 Claire Dross4 , Pavlos Efstathopoulos1 , David Lesens2 , David Mentr´e3 and Yannick Moy4 1: Altran UK Limited, 22 St Lawrence Street, Bath BA1 1AN (United Kingdom Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2013-12-05 09:31:12 Ada programming language SPARK Ada Monitor Formal methods Subroutine Vienna Development Method Computing Software engineering Computer programming
110	Introduction The notion of array is as old as programming language itself. Each of the languages of C++, ADA and APL has its own useful flavors of dealing with arrays. However, no language extends object-oriented notions Add to Reading List Source URL: www.zhmicro.com Language: English - Date: 2015-01-01 22:54:30 C++ Data types C programming language Procedural programming languages Pointer C++ classes Array data type C New Computing Software engineering Computer programming

UPDATE